Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
logical programming - перевод на русский
PROGRAMMING PARADIGM BASED ON FORMAL LOGIC
Logical programming; Rule-based programming; Logical (programming); Rule-based (programming); Logic programming language; Logic program; Logic Programming; Rule-Based; Relational programming; Higher order logic programming; Higher-order logic programming; Object-oriented logic programming; Metalogic programming; Linear logic programming; Transaction logic programming; Logic language; History of logic programming
Найдено результатов: 1187
logical programming
общая лексика
логическое программирование
состоит в описании задачи совокупностью утверждений на языке логического программирования, т.е. записи знаний в декларативной форме. Решение получается с помощью автоматического вывода в некоторой формальной (дедуктивной) системе. Обычно логическое программирование связывают с языком Prolog
logic programming
rule-based
logical empiricism
ASSERTION THAT ONLY STATEMENTS VERIFIABLE THROUGH EMPIRICAL OBSERVATION ARE MEANINGFUL
Logical empiricism; Logical positivists; Logical Positivist; Logical Positivism; Neopositivism; Neo-positivism; Logical positivist; Logical empiricist; Logical Empiricism; Vienna positivism; Protocol statement; Basic statement; Observational statement
математика
логический эмпиризм
protocol statement
ASSERTION THAT ONLY STATEMENTS VERIFIABLE THROUGH EMPIRICAL OBSERVATION ARE MEANINGFUL
Logical empiricism; Logical positivists; Logical Positivist; Logical Positivism; Neopositivism; Neo-positivism; Logical positivist; Logical empiricist; Logical Empiricism; Vienna positivism; Protocol statement; Basic statement; Observational statement
общая лексика
протокольное предложение
neopositivism
ASSERTION THAT ONLY STATEMENTS VERIFIABLE THROUGH EMPIRICAL OBSERVATION ARE MEANINGFUL
Logical empiricism; Logical positivists; Logical Positivist; Logical Positivism; Neopositivism; Neo-positivism; Logical positivist; Logical empiricist; Logical Empiricism; Vienna positivism; Protocol statement; Basic statement; Observational statement
сущ.
неопозитивизм; направление в социологии (главным образом американской), характеризующееся стремлением выявить общие законы для природной и социокультурной реальности, использовать при этом точные методы для анализа общества.
application programming
![[[Ada Lovelace]], whose notes added to the end of [[Luigi Menabrea]]'s paper included the first [[algorithm]] designed for processing by an [[Analytical Engine]]. She is often recognized as history's first computer programmer.](https://commons.wikimedia.org/wiki/Special:FilePath/Ada lovelace.jpg?width=200 "[[Ada Lovelace]], whose notes added to the end of [[Luigi Menabrea]]'s paper included the first [[algorithm]] designed for processing by an [[Analytical Engine]]. She is often recognized as history's first computer programmer.")
![control panel]] for an [[IBM 402 Accounting Machine]]. Wires connect pulse streams from the card reader to counters and other internal logic and ultimately to the printer.](https://commons.wikimedia.org/wiki/Special:FilePath/IBM402plugboard.Shrigley.wireside.jpg?width=200 "control panel]] for an [[IBM 402 Accounting Machine]]. Wires connect pulse streams from the card reader to counters and other internal logic and ultimately to the printer.")
![Data and instructions were once stored on external [[punched card]]s, which were kept in order and arranged in program decks.](https://commons.wikimedia.org/wiki/Special:FilePath/PunchCardDecks.agr.jpg?width=200 "Data and instructions were once stored on external [[punched card]]s, which were kept in order and arranged in program decks.")
THE PROCESS OF DESIGNING AND BUILDING AN EXECUTABLE COMPUTER PROGRAM TO ACCOMPLISH A SPECIFIC COMPUTING RESULT OR TO PERFORM A SPECIFIC TASK
ProgramMing; Software programming; Application programming; Systems level programming; Computer Programming; Proramming; IT programming; Computer coding; Code readability; Indie development studio; History of computer programming; Human readable code; Readable code; Human-readable code
общая лексика
прикладное программирование
решение задач для конкретной прикладной области или конечного пользователя
Смотрите также
basic statement
ASSERTION THAT ONLY STATEMENTS VERIFIABLE THROUGH EMPIRICAL OBSERVATION ARE MEANINGFUL
Logical empiricism; Logical positivists; Logical Positivist; Logical Positivism; Neopositivism; Neo-positivism; Logical positivist; Logical empiricist; Logical Empiricism; Vienna positivism; Protocol statement; Basic statement; Observational statement
математика
основное высказывание
logical positivism
ASSERTION THAT ONLY STATEMENTS VERIFIABLE THROUGH EMPIRICAL OBSERVATION ARE MEANINGFUL
Logical empiricism; Logical positivists; Logical Positivist; Logical Positivism; Neopositivism; Neo-positivism; Logical positivist; Logical empiricist; Logical Empiricism; Vienna positivism; Protocol statement; Basic statement; Observational statement
логический позитивизм, доктрина группы философов, известных как члены "Венского кружка".
логический позитивизм; теоретико-методологическая позиция, представители которой пытались неэмпирические аспекты философии, этики и эстетики перевести в статус выражения эмоций.
extreme programming
SOFTWARE DEVELOPMENT METHODOLOGY WHICH INTENDS TO IMPROVE SOFTWARE QUALITY AND RESPONSIVENESS TO CHANGING CUSTOMER REQUIREMENTS
Extreme Programming, when to use; Extreme programing; Xtreme Programming; XP programming; RDP technique; Extreme Programming; EXTREME PROGRAMMING; EXtreme Programming; Extreme Agile Programming
общая лексика
экстремальное программирование
одна из методологий разработки ПО
синоним
Смотрите также
Определение
Программирование
процесс составления упорядоченной последовательности действий (программы (См. Программа)) для ЭВМ; научная дисциплина, изучающая программы для ЭВМ и способы их составления, проверки и улучшения.
Каждая ЭВМ является автоматом, состоящим из памяти, образуемой внешним и оперативным запоминающими устройствами, устройства управления (УУ) и арифметические устройства (АУ), в котором могут выполняться некоторые действия или операции. Память имеет вид занумерованной последовательности ячеек, в каждой из которых хранится порция двоичной информации в виде серии нулей и единиц. Автоматическая работа ЭВМ, управляемая программой, состоит из последовательности тактов. На каждом такте УУ выбирает из предписанной ему ячейки памяти порцию информации. Эта порция трактуется как команда, т. е. предписание АУ выполнить некоторую операцию. Обычно в ЭВМ выполнение операции состоит в том, чтобы из определённых ячеек памяти взять хранящуюся там информацию, передать её в АУ для выполнения над ней нужного действия, результат которого отправить в указанную ячейку памяти, и сообщить УУ номер ячейки следующей команды. Отдельные действия, совершаемые ЭВМ, весьма просты - это арифметические и логические операции, операции сравнения, переписывания порции информации и т.п. Т. о., составить программу для ЭВМ - это значит представить способ решения задачи в виде такой совокупности машинных команд (программы), чтобы они, будучи размещенными в памяти, поочерёдно выполняясь и вызывая одна другую, реализовали нужные вычисления.
Идея П. возникает ещё в школе при составлении "плана решения" арифметической задачи в виде серии вопросов. Существенное отличие реального П. от школьного опыта заключается в том, что программа, как правило, задаёт не одну, а несколько последовательностей действий (разветвлений), выбор между которыми зависит от значения промежуточных результатов решения задачи; выполняет некоторые группы команд многократно, автоматически определяя нужное число повторений; может предписанным образом сама себя менять или частично формировать в процессе своего выполнения.
Дополнительной особенностью П. является его трудность: размеры многих реальных программ исчисляются тысячами команд, а количество выполняемых ими действий - десятками миллионов. Такие объёмы в сочетании с элементарным характером машинных команд делают П. одновременно и очень сложным, и очень монотонным процессом.
Для преодоления этого противоречия П. придан характер многоэтапного процесса, каждый этап которого есть постепенная конкретизация и детализация плана решения задачи, полученного на предыдущем этапе. Кроме того, если правила описания плана решения задачи на некотором этапе будут точными, формальными и универсальными, т. е. применимыми к любой задаче, то тогда можно говорить о существовании некоторого языка П., используемого при составлении программы.
Языки программирования (См. Язык программирования) как способ точного формулирования задачи на разных этапах подготовки её к решению на ЭВМ сыграли фундаментальную роль в развитии П. В частности, они позволяют трактовать П. как процесс перевода задания для ЭВМ, выраженного в некотором языке, на другой язык - "язык машины". Если найти и описать точные правила такого перевода, то эти правила, в свою очередь, можно запрограммировать на ЭВМ. Полученные программы, автоматизирующие процесс П., называют трансляторами.
Процесс П. обычно состоит из следующих этапов:
Содержание каждого этапа П. можно пояснить на примере решения квадратного уравнения.
Исходная формулировка. Надо найти корни 50 квадратных уравнений вида ax2 + bx + c = 0, коэффициенты которых заданы в виде трёх таблиц Ai, Bi и Ci (i = 1,..., 50).
Алгоритмическое описание задачи получается в результате полного математического исследования её постановки, выбора стандартных или поиска новых алгоритмов выполнения всех нужных вычислений, а также уточнения, какие исходные данные надо ввести в ЭВМ и какие результаты надо получить. В данном случае алгоритмическое описание может иметь такой вид: ввести в ЭВМ таблицы коэффициентов Ai, Bi и Ci, решить каждое уравнение по общей формуле
с исследованием дискриминанта b2 - 4ac для определения случая комплексных корней; для единообразия каждый корень уравнения выдавать как комплексное число x = u + iv, полагая в случае вещественных корней мнимую часть равной нулю.
Язык П. высокого уровня - главное средство составления программ для ЭВМ. Общая особенность этих языков - их независимость от системы команд конкретных ЭВМ и фразовая структура, что в сочетании с использованием т. н. служебных слов приближает их к естественным языкам. Фразы разделяются обычно точкой с запятой; соподчинённость фраз указывается с помощью "операторных скобок" начало и конец; фразы делятся на два типа - операторы и описания. Оператор является единицей действия в языке. Различают следующие их типы: операторы присваивания, производящие подсчёт по указанной формуле и присваивающие вычисленное значение заданной переменной величине; условные операторы, которые в зависимости от результата проверки заданного условия производят выбор одной или другой ветви вычислений; операторы цикла, обеспечивающие повторное выполнение группы операторов. В описаниях указываются свойства переменных величин и других обозначений, используемых в программе. Важным свойством является "процедурный" характер языка: для любой уже составленной программы, решающей некоторую частную задачу, можно ввести символическое функциональное обозначение. Текст этой программы вместе с её обозначением называется описанием процедуры или подпрограммой. Тогда при составлении новой программы всюду, где может потребоваться использование этой описанной процедуры, достаточно упомянуть её функциональное обозначение в виде оператора процедуры вместо переписывания полного текста подпрограммы.
В 70-х гг. 20 в. существует целое семейство таких языков П.: алгол-60, фортран для решения инженерных и научных задач, кобол для экономических расчётов, симула для П. математических моделей, более мощные языки алгол-68 и ПЛ/1, охватывающие все виды применений ЭВМ. Для всех из них существуют трансляторы, обеспечивающие автоматическое построение машинных программ для задач, выраженных в этих языках.
Программа решения квадратного уравнения, записанная на языке алгол-60 (адаптированном):
начало вещественные массивы А, В, С [1: 50];
вещественные а, b, с, u1, υ1, u2, υ2;
целое i, ввод (A, В, С);
для i: = шаг 1 до 50 цикл
начало а: = A [i]; b: = B [i]; c = C [i];
если 
, то
начало υ1: = υ2: = 0; u1:= -b + корень 
;
u 2:= - b - корень 
;
конец иначе
начало υ1: = корень 
;
υ2: = - υ1; u1:= u2: 
конец; вывод (u1, υ1, u2, υ2)
конец
конец
Машинно-ориентированный язык представляет программы в терминах команд ЭВМ, но выраженных в более удобной для употребления символике, нежели прямое двоичное представление. Он используется на промежуточном этапе процесса автоматической трансляции с языка более высокого уровня или же как язык П., когда программа по существу сразу должна быть сконструирована в терминах машинных команд. В последнем случае роль языка высокого уровня часто играет язык блок-схем, когда структура программы, т. е. последовательность выполнения её "блоков", наличие разветвления и повторяющихся участков показываются в графической форме, а функции каждого блока записываются в произвольной текстовой форме. Ниже следует пример блок-схемы решения квадратного уравнения:
После составления программы неотъемлемым этапом П. является "отладка" программы, т. е. обнаружение и исправление ошибок, допускаемых при П. Основное средство отладки - т. н. отладочные запуски, когда в программу добавляются дополнительные "измерительные" действия, позволяющие по ходу выполнения программы на ЭВМ выдавать "протокол" её работы (порядок выполнения команд, значения промежуточных результатов и т.п.). Исследование протокола позволяет судить о том, в какой степени программа соответствует замыслу программиста.
Развитие П. как науки началось с 1947 в работах американских математиков Дж. Неймана, А. Беркса и Г. Голдстайна, которые описали принципы ЭВМ, управляемой программой, хранящейся в памяти. Они же ввели в употребление блок-схемы программы. Понятие подпрограммы и методики её использования было введено в 1951 английскими учёными М. Уилксом, Дж. Уилером и С. Гиллом. Советский математик А. А. Ляпунов, первым в СССР прочитавший в МГУ в 1952 курс П., определил П. как многоэтапный процесс и ввёл в П. аппарат символических обозначений, явившийся предвестником языков П. высокого уровня. Идея автоматизации программирования (См. Автоматизация программирования) путём трансляции программы, записанной на языке П., была реализована в США Дж. У. Бейкусом (язык фортран) и Г. Хоппер и в СССР С. С. Камыниным, Э. З. Любимским, М. Р. Шура-Бурой и А. П. Ершовым (1954-56). К 1960 в США был разработан язык кобол и международный язык П. алгол-60 (группой учёных из 6 стран). В 60-е гг. развитие П. шло по пути совершенствования и универсализации языков П., нашедших своё воплощение в языках алгол-68, ПЛ/1 и симула, разработки методов формального и строгого описания языков П., развития теории и техники построения трансляторов, создания библиотек стандартных подпрограмм. Особое развитие получили машинно-ориентированные языки П. в направлении объединения ряда черт языков высокого уровня (процедурность, фразовая структура) с адаптируемостью к особенностям конкретной ЭВМ. Для некоторых классов задач предприняты успешные попытки расширить область применения автоматизации П. путём формализации способов алгоритмического описания задачи или даже её исходной формулировки. Это привело к понятиям проблемно-ориентированных языков П., неалгоритмических языков П. и т.п.
Лит.: Лавров С. С., Введение в программирование, М., 1973: его же, Универсальный язык программирования. (АЛГОЛ 60), 3 изд., М., 1972; Жоголев Е. А., Трифонов Н. П., Курс программирования, 3 изд., М., 1971; Джермейн К. Б., Программирование на 1ВМ/360, пер. с англ., 2 изд., М., 1973; Стэбли Д., Логическое программирование в системе 360, пер. с англ., М., 1974.
А. П. Ершов.
Рис. к ст. Программирование.
Википедия
Logic programming
Logic programming is a programming paradigm which is largely based on formal logic. Any program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain. Major logic programming language families include Prolog, answer set programming (ASP) and Datalog. In all of these languages, rules are written in the form of clauses:
- H :- B1, …, Bn.
and are read declaratively as logical implications:
- H if B1 and … and Bn.
H is called the head of the rule and B1, ..., Bn is called the body. Facts are rules that have no body, and are written in the simplified form:
- H.
In the simplest case in which H, B1, ..., Bn are all atomic formulae, these clauses are called definite clauses or Horn clauses. However, there are many extensions of this simple case, the most important one being the case in which conditions in the body of a clause can also be negations of atomic formulas. Logic programming languages that include this extension have the knowledge representation capabilities of a non-monotonic logic.
In ASP and Datalog, logic programs have only a declarative reading, and their execution is performed by means of a proof procedure or model generator whose behaviour is not meant to be controlled by the programmer. However, in the Prolog family of languages, logic programs also have a procedural interpretation as goal-reduction procedures:
- to solve H, solve B1, and ... and solve Bn.
Consider the following clause as an example:
- fallible(X) :- human(X).
based on an example used by Terry Winograd to illustrate the programming language Planner. As a clause in a logic program, it can be used both as a procedure to test whether X is fallible by testing whether X is human, and as a procedure to find an X which is fallible by finding an X which is human. Even facts have a procedural interpretation. For example, the clause:
- human(socrates).
can be used both as a procedure to show that socrates is human, and as a procedure to find an X that is human by "assigning" socrates to X.
The declarative reading of logic programs can be used by a programmer to verify their correctness. Moreover, logic-based program transformation techniques can also be used to transform logic programs into logically equivalent programs that are more efficient. In the Prolog family of logic programming languages, the programmer can also use the known problem-solving behaviour of the execution mechanism to improve the efficiency of programs.
